" , "-->" , $val ); $val = preg_replace( "/