document.write (" 4312 ");