document.write (" 9288 ");