document.write (4317);