document.write('80012')