document.write (" 9996 ");