document.write (" 6942 ");