document.write (" 42567 ");