document.write (" 6123 ");