document.write (" 9608 ");