Antonín Mrkos
小行星3257（）是一颗围绕太阳公转的小行星。1982年4月15日，安東寧·姆爾科斯在克列特发现了此天体。