document.write('934200');