document.write('31402')