document.write (" 9956 ");