document.write('934012');