document.write (" 9247 ");