document.write('017212')