document.write('316012');