document.write (" 9756 ");