document.write (9400);