อยากได้ code from กรอกรหัวบัตรประจำตัวประชาชน ด้วย textfield มีขีดมาให้ด้วย โดยไม่ต้องพิมพ์เอง

<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.3.2/jquery.min.js"></script> 
<script src="http://jquery-joshbush.googlecode.com/files/jquery.maskedinput-1.2.2.min.js" type="text/javascript"></script> 
	<script type="text/javascript">
		jQuery(function($) {
		  $.mask.definitions['~']='[+-]';
		  $('#DateRev').mask('9-9999-99999-99-9');
		});
 </script>

เลขบัตร<INPUT TYPE="text" class="iso" id="DateRev" style="width:150px; text-align:center;" value='<?=$objResult["DateRev"];?>' size="150">

<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.3.2/jquery.min.js"></script> 
<script src="http://jquery-joshbush.googlecode.com/files/jquery.maskedinput-1.2.2.min.js" type="text/javascript"></script> 
	<script type="text/javascript">
		jQuery(function($) {
		  $.mask.definitions['~']='[+-]';
		  $('#DateRev').mask('9-9999-99999-99-9');
		});
 </script>

เลขบัตร<INPUT TYPE="text" class="iso" id="DateRev" style="width:150px; text-align:center;" value='<?=$objResult["DateRev"];?>' size="150">