document.write (" 14393 ");