document.write (" 9318 ");