document.write('0702');