document.write('02708');