document.write (" 10993 ");