document.write (" 12067 ");