document.write (" 42830 ");