document.write (9550);