document.write (" 13923 ");