document.write (4012)