document.write (" 42516 ");