document.write('02142');