A hello world (blinking LED) for Micropython on the Wemos D1 Mini (ESP8266)

mp_wemos_blink.py

# See https://obviate.io/?p=8022 for more details
import time
from machine import Pin

led = Pin(2, Pin.OUT)

while True:
	if led.value():
		led.off()
	else:
		led.on()
	time.sleep_ms(250)

from machine import Pin
from machine import ADC
from time import sleep_ms

x = ADC(Pin(2, Pin.IN))
y = ADC(Pin(5, Pin.IN))
x.atten(ADC.ATTN_11DB)
y.atten(ADC.ATTN_11DB)

while True:
    x_val = x.read()
    y_val = y.read()
    print('Current position:{},{}'.format(x_val,y_val))
    sleep_ms(300)

Traceback (most recent call last):
  File "<stdin>", line 5, in <module>
TypeError: can't convert Pin to int

what is the issue here ?