$0", $dot_prod);