document.write (" 42192 ");