document.write (9200);