document.write (" 14942 ");