document.write (" 42013 ");