document.write (" 10393 ");