O così:

<input name="dric" type=hidden value="<?php echo $doc; ?>" />

o così:

$_POST['doc']=$doc;