document.write (" 47942 ");