document.write(31417);