document.write('80012');