document.write (" 42476 ");