document.write (" 12345 ");