document.write('02487');