document.write (" 9380 ");